Hadamard's lemma